1. A many-sorted calculus based on resolution and paramodulation
Author: Christoph Walther.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Automatic theorem proving.
2. Automatisierung von Terminierungsbeweisen
Author: von Christoph Walther ; herausgegeben von Wolfgang Bibel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
3. Die Religionen Indiens
Author: / von Andre Bareau, Walther Schubring[und] Christoph Von Furm Haimendrof,Bareau
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: India -- Religion
Classification :
BL
2001
.
2
.
B37
4. Leich, Lieder, Sangsprüche /
Author: Walther von der Vogelweide ; Aufgrund der 14., von Christoph Cormeau bearbeiteten Ausgabe neu herausgegeben, mit Erschliessungshilfen und textkritischen Kommentaren versehen von Thomas Bein ; Edition der Melodien von Horst Brunner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Walther,active 12th century., Poems-- Criticism, Textual.,Walther, 1170-1230,German poetry-- Middle High German.,Songs, German (Middle High German)
Classification :
PT1670
.
A1
C67
2013
